programme correctness proof - Türkisch Englisch Wörterbuch